deadlock相关论文
当两个Web服务交互时,不仅它们之间交互信息的类型等这些服务的静态属性是否匹配会影响交互的兼容性,而且服务交互信息的动作顺序......
As a powerful analysis tool of Petri nets,reachability trees are fundamental for systematically investigating many chara......
A model of a hypertorus communication grid has been constructed in the form of an infinite Petri net.A grid cell represe......
This paper analyzes the threat of TCG Software Stack(TSS)/TCM Service Module(TSM) deadlock in multi-user environment suc......
针对全节点空间上MPI同步通信程序死锁检测的现有穷举方法的弱点,提出了该场景中MPI程序的两种参数化模型:一次参数化模型和二次参......
时间管理服务是高层体系结构HLA(High Level Architecture)的重要组成部分,而考虑不全面的时间推进机制和算法会导致死锁,进而导致......
In this paper we propose a sufficient condition for minimal routing in 3-dimensional (3-D) meshes with faulty nodes. It ......
It is important to verify the absence of deadlocks in asynchronous circuits.Much previous work relies on a reachability ......
Deadlock-free Supervisor Design for Robotic Manufacturing Cells With Uncontrollable and Unobservable
In this paper,a deadlock prevention policy for robotic manufacturing cells with uncontrollable and unobservable events i......
兼容性检测是使用微服务构建软件时将面临的一个关键问题,如果一组微服务的组合满足某些属性,如无死锁,则称这组微服务是兼容的。......
过河问题是操作系统中进程同步和互斥的一个重要问题,传统的解决方法虽然解决了进程死锁问题,但当一面的过河者源源不断的到来时,......
目通过“军卫一号”客户端中假“死机”现象，分析在C/S模式下各系统终端对Oracle数据库资源竞争中锁机制的关系，并结合“军卫一号”......
文件锁机制是一种控制并发进程对文件的访问以保护数据的完整性和一致性的重要技术。论述了U-nix文件锁控制机制及其实现原理,对各......
本文考虑具有有限存贮器的柔性加工系统,在[1]的基础上,进一步完善其离散事件动态系统模型,研究这类系统的阻塞及死锁问题。同时,......
协同设计是一种高效的设计方法，但是在设计者之间产生冲突是不可避免的。如何避免冲突，是协同设计的一个关键问题。提出一种冲突消解......
数据库的死锁问题在很大程度上影响着数据库的性能,死锁研究也是数据库性能优化的一个重要方面。本文以SQL Server数据库为例,从一......
并发与死锁是操作系统的重要问题,对进程并发、死锁及饥饿现象进行研究,深入探讨了利用信号量解决进程并发应注意的问题,并结合实......
提出了一种复杂静态环境下的移动机器人避碰路径规划的改进蚁群算法。基于栅格法的工作空间模型，模拟蚂蚁觅食行为，并针对移动机器人......
利用Ｐｅｔｒｉ网为资源复合共用ＦＭＳ进行建模，给出了关于此类系统死锁的一系列定义，讨论了系统死锁的充分必要条件。......
在车间作业调度数学表达模型的基础上，应用遗传算法对车间作业调度问题进行研究，为了满足遗传算法对解的多样性的要求，提出了一个调度......
并发进程具有明显的异步并发性，而Petri网是描述异步并发系统的有效工具，但是目前将Petri网用于并发进程控制问题的研究还几乎没有。......
设计了一种基于蚁群算法的多机器人协作策略，由此解决多机器人系统在未知环境工作中的自主协作规划问题．针对多机器人系统在未知环境......
Petri网具有坚实的理论基础和易于使用的图形表示，是一种理想的建模和分析工具，因此在工作流的建模和分析方面具有广泛的应用。本文......
Elastos是基于构件的操作系统，构件对象的行为模式决定了内核底层机制的实现。在Elastos中，进程对象、线程对象以及线程的同步对象等......
多agent系统注重agent之间的相互协作,但是在进行信息传递的过程中不可避免地会出现死锁.文章针对这一问题,结合文献[1]的有关思想......
死锁是柔性制造系统中容易发生的异常现象,如不加以消除,将会导致整个系统的瘫痪.文中通过Petri网模型对FMS的结构分析,揭示出导致......
阐述了分布式系统中的死锁问题,采用Petri网对分布式系统中的死锁进行分析,给出了几种解决死锁的模型,并分析了这些模型的优缺点,......
在每种资源只有一个个体的情况下，本文给出了一种避免死锁的安全算法。该算法是对现有的一种安全算法的改进，改进后的算法被命名为触......
两段加锁是分布式系统中最广泛使用的并发控制算法。该算法除实现较为复杂外，其致命弱点是容易产生死锁。本文在分析两段加锁产生死......
并行测试拥有减少测试时间、降低测试成本的强大优势,正成为研究热点之一.首先详细分析了并行测试的基本概念,介绍了目前实现并行......
讨论国内机旁及紧急停止开关的应用情况及存在问题，结合有关标准及国外产品实例提出开发我国专用产品的建议。......
多线程是现代操作系统中出现的概念.阐述了多线程的概念以及对线程的状态、创建和控制方法,对避免死锁的方法作了深入的探讨.......
阐述了BIOS与CMOS的关系，对系统BIOS故障引起死机和CMOS造成的死机故障分别进行分析，并给出了各自的处理措施．探讨了BIOS设置选项注意......
简要介绍P、V操作.通过对两个经典同步问题的描述,说明如何使用P、V操作解决实际问题,重点简述了使用信号量机制解决同步问题时容......
针对制造系统环境下自动导引车系统任务调度问题,提出一种实时多属性任务调度方法;建立综合考虑加工子系统和搬运子系统的制造系统......
本文提出了MPI程序的同步通信模型及三个基本简化模型，给出了判定这些基本模型是否死锁的方法和定理并予以了严格证明．简化模型的死......
提出一种改进的死锁和活锁避免资源联合分配协议——OODP3（Optimal ODP3）,OODP3基于ODP3（Or-der-based Deadlock Prevention Protocol......
本文介绍了曙光5000高性能计算机多播网络设计的关键技术.减少多播与单播/多播与多播间的网络竞争是降低多播延迟的主要途径之一,......
研究了用Petri网描述操作系统中经典的“并发操作”的例子——哲学家就餐问题，并构造了不同的Petri网模型解决死锁和无限等待问题，最......
基于Sybase的医院信息系统（HIS）在开发及维护过程中，都遇到过各种死锁问题的困扰。引起数据库死锁的原因有多种，分析了引起Sybase数据......
通过对KMP算法的研究,确定了基于MPI的KMP算法实现的可能性。主要重点是分析了MPI环境下KMP算法中目标串分组2种方式,第1种是把目......
在多道程序系统中,通过多进程并发执行可提高系统资源利用率和系统的处理能力,但也带来了风险,死锁现象。本文讨论了多道程序设计......
嵌入式Internet中使用短帧数据包，使得网络带宽的利用率极低，拥塞发生的可能性加大。标准transmission control protocol（TCP）协议中应......
在设计操作系统时,为了避免死锁的发生,通常设置死锁检测机制。本文提出了一种基于博弈论的死锁检测机制,当发生资源竞争时,用来衡......
并发控制是数据库管理系统提高运行效率的基本要求，事务并发执行时，采用锁机制是保证事务可串行化的一个方法，但因此而产生的死锁问题......
利用虚跨步切换技术中消息的依存关系只与相邻缓冲区队列相关的特点,设计了一种称为维度气泡流控（DBFC）的新型流控策略.该流控策略建......
BPEL流程的正确性问题越来越受到广泛关注.作为一种支持并发机制的Web服务组合语言,不正确地使用并发和同步操作或不正确的交互都......
文中基于补库所理论提出了活性控制器设计方法．首先，利用容量函数K将原Petri网N转变为有限容量网丙，再通过逐一增加K值得到具有最大可......
本文对星形图上路径算法的无死锁性问题进行了分析，给出了星形图上的两个无死锁受限条件和一个满足无死锁受限条件的路径算法。......
